reactive system中文是什么意思

发音:

中文翻译
造句

反应系统

reactive adj. 1.反动的，倒退的，复古的。 2.反应的；反作 ...
system n. 1.体系，系统；分类法；组织；设备，装置。 2.方 ...
reactive haulage system 反力牵引系统
reactive ion etch system 活性离子腐蚀系统
reactive sputter etching system 反应性溅镀蚀刻系统
reactive sputtering system 反应性溅镀系统
triode reactive ion etching system 三极型反应性离子蚀刻系统
hexode type reactive ion etching system 六角柱型反应性离子蚀刻系统
reactive adj. 1.反动的，倒退的，复古的。 2.反应的；反作用的；反冲的；【电学】电抗的；【化学】反应性的，活性的。 a reactive current 无效电流。 reactive power 无功电力。 reactivity n. adv. -ly ,-ness n.
antigen-reactive 抗原反应
c-reactive c-反应
cathode reactive 电抗性阴极
cross-reactive 可交叉反应的
equal and reactive 相等和活跃
fiber reactive 纤维活性的
force，reactive 反作用力
gas, reactive 反应气体；活性气体
heat reactive 热敏感
load, reactive 电抗负载
negative reactive 负性反应
non reactive 不反应的
photochemically reactive 光化学活性的
reactive agent 反应主体
reactive aggregate 活性骨料
reactive aggregates 活性骨料

"查查词典"手机版

千万人都在用的超大词汇词典翻译APP

例句与用法

Bounded model checking has been recently introduced as an efficient verification method for reactive systems
Ctl的有界模型检测模型检测是一种强有力的系统验证技术。
As an important reactive systems , real - time systems has been used widely in safety - critical field , so it ' s safety and reliability must been guaranteed
实时系统作为一种在现实中广泛使用的反应型系统，因其大多使用于安全攸关的领域，所以必须保证它的安全可靠。
Furthermore , an overview about real - time systems which is different from generic reactive systems is given . we review real time extension of formal method oriented real time system
但是因为它又有别于一般的反应型系统，所以我们接着介绍了实时系统的特殊性，并且介绍了形式化方法面向实时系统的扩展。
This thesis presents a powerful methodology for specifying scenario - based requirements of reactive systems , in which behaviors are " played in " directly from the system ' s gui or some abstract version thereof , and can then be " played out "
用这个工具用户直接从系统的原型gui界面取“ playin ”场景，并且可以“ playout ”这些场景，从而获取并确认需求。
The test result has proved : based on ecdf model , e has got a high executing efficiency and a well real - time performance over event - driven operating systems . it is not only suit for high speed burst data flow processing , but also can be used in reactive system design
测试结果表明：与原有的基于dhdf模型的可视化语言相比， e语言不仅实现了并发运行机制，而且在事件驱动的操作系统上运行时具有更高的效率和更好的实时性能。
21 majster - cederbaum m , salger f . towards the hierarchical verification of reactive systems . theoretical computer science , 2004 , 318 : 243 - 296 . 22 winskel g . an introduction to event structures . lecture notes in computer science 354 , 1989 , pp . 364 - 397 . 23 hoare c a r . communicating sequential processes , prentice - hall , 1985
本文分别在语法和语义层次上对动作精化进行了定义，并证明了这两个层次的动作精化在前述两种等价关系下，关于一种基于完全偏序的指称语义是一致的。
In recent measuring method , protein electrophoresis is rapid , accurate , steady and economic , not affected by environment condition , we improve reactive system of our national tentative com protein gelatinous electrophoresis , and that which is more adapted to imaging process
在玉米种子纯度检测的方法中，蛋白质凝胶电泳法具有快速、准确、稳定、经济、不受环境条件影响等特点，因此，选取此方法作为种子纯度检测方法。对国家试行的玉米蛋白凝胶电泳法的反映体系进行了改进，使得到的图像更清晰。